with sigma;
with strings;
with murs_strings; use murs_strings;
package sigma_strings is new sigma (strings.individu, strings.cercle, strings.texte, murs_strings.mur);
